A philosophical essay under this title faces severe rhetorical challenges. New accounts of the good life regularly and rapidly turn out to be variations of old ones, subject to a predictable range of decisive objections. Attempts to meet those objections with improved accounts regularly and rapidly lead to a familiar impasse — that while a life of contemplation, or epicurean contentment, or stoic indifference, or religious ecstasy, or creative rebellion, or self-actualization, or many another thing might count as a good (...) life, none of them can plausibly be identified with the good life, or the best life. Given the long history of that impasse, it seems futile to offer yet another candidate for the genus “good life” as if that candidate might be new, or philosophically defensible. And given the weariness, irony, and self-deprecation expected of a philosopher in such an impasse, it is difficult for any substantive proposal on this topic to avoid seeming pretentious. (shrink)

This unpublished paper from 2004 argues that the agenda for positive psychology laid out by Christopher Peterson and Martin Seligman in their massive work Character Strengths and Virtues: a Handbook and Classification (New York: Oxford University Press, 2004) might be improved by making several conceptual changes: 1) by developing general concepts of virtue (singular), and of positive health to clarify the relationships between specific virtues and competing conceptions of positive health; 2) by aligning the project more firmly with eudaimonistic accounts (...) of virtue that fit comfortably with scientific psychology; and 3) by aligning the project more firmly with the health sciences than with ethics and philosophy generally. The paper was developed from a talk prepared for the Working Conference on The Philosophical History of Character Strengths and Virtues, The University of Pennsylvania, September 2-4, 2004. (shrink)

_Property Rights: Philosophic Foundations,_ first published in 1977, comprehensively examines the general justifications for systems of private property rights, and discusses with great clarity the major arguments as to the rights and responsibilities of property ownership. In particular, the arguments that hold that there are natural rights derived from first occupancy, labour, utility, liberty and virtue are considered, as are the standard anti-property arguments based on disutility, virtue and inequality, and the belief that justice in distribution must take precedence over (...) private ownership. Lawrence Becker goes on to contend that there are four sound lines of argument for private property that, together with what is sound in the anti-property arguments, must be co-ordinated to form the foundations of a new theory. He therefore expounds a concise but sophisticated theory of property that is relevant to the modern world, and concludes by indicating some of the implications of his theory. (shrink)

The tendency to reciprocate – to return good for good and evil for evil – is a potent force in human life, and the concept of reciprocity is closely connected to fundamental notions of ‘justice’, ‘obligation’ or ‘duty’, ‘gratitude’ and ‘equality’. In _Reciprocity_, first published in 1986,_ _Lawrence Becker presents a sustained argument about reciprocity, beginning with the strategy for developing a moral theory of the virtues. He considers the concept of reciprocity in detail, contending that it is a basic (...) virtue that provides the basis for parental authority, obligations to future generations, and obedience to law. Throughout the first two parts of the book, Becker intersperses short pieces of his own narrative fiction to enrich reflection on the philosophical arguments. The final part is devoted to extensive bibliographical essays, ranging over anthropology, psychology, political theory and law, as well as the relevant ethics and political philosophy. (shrink)

The question addressed by this book is what, if anything, stoic ethics would be like today if stoicism had had a continuous history to the present day as a plausible and coherent set of philosophical commitments and methods. The book answers that question by arguing that most of the ancient doctrines of Stoic ethics remain defensible today, at least when ancient Stoicism's cosmological commitments are replaced by modern scientific ones.

Ackermann’s function can be expressed using an iterative algorithm, which essentially takes the form of a term rewriting system. Although the termination of this algorithm is far from obvious, its equivalence to the traditional recursive formulation—and therefore its totality—has a simple proof in Isabelle/HOL. This is a small example of formalising mathematics using a proof assistant, with a focus on the treatment of difficult recursions.

Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references (...) to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach. (shrink)

For the philosophy of medicine, there are two things of interest about the stoic account of moral norms, quite apart from whether the rest of stoic ethical theory is compelling. One is the stoic version of naturalism: its account of practical reasoning, its solution to the is/ought problem, and its contention that norms for creating, sustaining, or restoring human health are tantamount to moral norms. The other is the stoic account of human agency: its description of the intimate connections between (...) human health, rational agency, and moral norms. There is practical guidance to be gained from exploring those connections, whether or not one is ready to follow stoic moral theory all the way to its austere end. (shrink)

This book argues for adopting a new account of the circumstances of justice ("the habilitation framework") for philosophical theories of basic justice. It proposes a concept of basic health as a metric for such theories, and healthy agency as a target for them. It does not, however, propose a specific distributive rule or set of distributive principles. Nor does it propose a specific type of theory to pursue (e.g., utilitarian, contractarian, etc.). The book is thus meant to be largely theory-independent (...) respect to standard normative theories. (shrink)